Prolog vs. Lisp
نویسنده
چکیده
Prolog and Lisp benchmark timings are compared on the VAX 8600. The measured Lisp-toProlog time ratio varies between 0.143 and 2.83. These differences between Prolog and Lisp performance can be explained by studying the structure of the benchmarks and the language implementations. Previous authors have used such measurements as evidence that one language is "better" than the other; their works are summarized. The issues involved in comparing two languages are treated, as well as the assumptions involved in interpreting language performance data.
منابع مشابه
PROLOG: a language for implementing expert systems
We briefly describe the logic programming language PROLOG concentrating on those aspects of the language that make it suitable for implementing expert systems. We show how features of expert systems such as: (1) inference generated requests for data, (2) probabilistic reasoning, (3) explanation of behaviour can be easily programmed in PROLOG. We illustrate each of these features by showing how ...
متن کاملA Prolog Implementation of the Functional Uniication Grammar Formalism
This paper compares the use of Lisp and Prolog for the implementation of a functional grammar uniication system. To achieve this comparison, we have taken as a starting point Michael Elhadad's FUF system, which is written in Lisp and produced a much smaller and more eecient Prolog version (PFUF) retaining many of FUF's essential features. Our approach is based on a precompilation scheme that re...
متن کاملA Prolog implementation of the Functional Unification Grammar Formalism
This paper compares the use of Lisp and Prolog for the implementation of a functional grammar unification system. To achieve this comparison, we have taken as a starting point Michael Elhadad’s FUF system, which is written in Lisp and produced a much smaller and more efficient Prolog version (PFUF) retaining many of FUF’s essential features. Our approach is based on a precompilation scheme that...
متن کاملA Prolog implementation of the Functional Uni cation Grammar Formalism
This paper compares the use of Lisp and Prolog for the implementation of a func tional grammar uni cation system To achieve this comparison we have taken as a starting point Michael Elhadad s FUF system which is written in Lisp and produced a much smaller and more e cient Prolog version PFUF retaining many of FUF s essential features Our approach is based on a precompilation scheme that reduces...
متن کاملQute: A Prolog/Lisp Type Language for Logic Programming
A new Prolog/Lisp type programming language called Qute is introduced. Qute computes (partial) recursive functions on the domain S of symbolic expressions in the sense of Sato[3], Sato and Hagiya[4]. Qute amalgamates Prolog and Lisp in a natural way. Any expression that is meaningful to Qute is either a Prolog expression or a Lisp expression and a Prolog (Lisp) expression is handled by the Prol...
متن کامل